A Calculus of Broadcasting Systems
نویسنده
چکیده
CBS is a simple and natural CCS-like calculus where processes speak one at a time and are heard instantaneously by all others. Speech is autonomous, contention between speakers being resolved nondeterministically, but hearing only happens when someone else speaks. Observationally meaningful laws di er from those of CCS. The change from handshake communication in CCS to broadcast in CBS permits several advances. (1) Priority, which attaches only to autonomous actions, is simply added to CBS in contrast to CCS, where such actions are the result of communication. (2) A CBS simulator runs a process by returning a list of values it broadcasts. This permits a powerful combination, CBS with the host language. It yields several elegant algorithms. Only processes with a unique response to each input are needed in practice, so weak bisimulation is a congruence. (3) CBS subsystems are interfaced by translators; by mapping messages to silence, these can restrict hearing and hide speech. Reversing a translator turns its scope inside out. This permits a new speci cation for a communication link: the environment of each user should behave like the other user. This paper reports the stable aspects of an evolving study.
منابع مشابه
A Cluster-Based Hybrid broadcasting mechanism for Quantum Systems with Power Management and delay Constraint in the MAC sub-layer
متن کامل
The Effects of Different SDE Calculus on Dynamics of Nano-Aerosols Motion in Two Phase Flow Systems
Langevin equation for a nano-particle suspended in a laminar fluid flow was analytically studied. The Brownian motion generated from molecular bombardment was taken as a Wiener stochastic process and approximated by a Gaussian white noise. Euler-Maruyama method was used to solve the Langevin equation numerically. The accuracy of Brownian simulation was checked by performing a series of simulati...
متن کاملObservables for Mobile and Wireless Broadcasting Systems
We discuss the presence of localities in observables for process calculi for mobile and wireless broadcasting systems in the context of weak barbed congruences and demonstrate that observability of the locality of a broadcasting node may be unsuitable when abstracting from node mobility, a natural abstraction current calculi agree upon. The discussion is carried out through a calculus bAπ, a co...
متن کاملNon-Newtonian Fuzzy numbers and related applications
Although there are many excellent ways presenting the principle of the classical calculus, the novel presentations probably leads most naturally to the development of the non-Newtonian calculus. The important point to note is that the non-Newtonian calculus is a self-contained system independent of any other system of calculus. Since this self-contained work is intended for a wide audience, inc...
متن کاملTelework in I.R.I.B and the role of information technology
Information and communication technologies lead to de- velopment of its application in various fields, particularly teleworking. The purpose of current study is to investigate the role of individual and organizational antecedents and attitudes in establishing employees’ tendency to telework- ing in Islamic Republic of Iran Broadcasting. further, the role of information technology in the issue w...
متن کاملTelework in I.R.I.B and the role of information technology
Information and communication technologies lead to de- velopment of its application in various fields, particularly teleworking. The purpose of current study is to investigate the role of individual and organizational antecedents and attitudes in establishing employees’ tendency to telework- ing in Islamic Republic of Iran Broadcasting. further, the role of information technology in the issue w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Sci. Comput. Program.
دوره 25 شماره
صفحات -
تاریخ انتشار 1991